Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
531	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
532	Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better Arun K. Majumdar and John F. Sowa VivoMind Intelligence, Inc. Abstract. During the past half century, the field of artificial intelligence has dev Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-08-05 14:09:03 Reasoning Programming paradigms Software architecture Intelligent agent Society of Mind Cognitive architecture Reasoning system Logic programming Frame language Artificial intelligence Science Knowledge
533	Common Subexpression Elimination in Automated Constraint Modelling Ian P. Gent and Ian Miguel and Andrea Rendl1 Abstract. Typically, there are many alternative models of a given problem as a constraint satisfaction probl Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:26 Computing Constraint satisfaction Local consistency Common subexpression elimination Constraint algorithm Constraint logic programming Constraint programming Software engineering Computer programming
534	Secrecy in Untrusted Networks? Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2 , and Vladimiro Sassone 3 Abstract. We investigate the protection of migrating agents against the untrusted sites they traverse. The res Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:51 Process calculi Entailment Mobile Membranes Logic Deduction Ambient calculus
535	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
536	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
537	DEPENDENT INDEFINITES Donka F. Farkas, UCSC Abstract The paper rst lays out a non-congurational approach to scope ambiguities in which Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Predicate logic Elementary mathematics Functions and mappings Variables Mathematical notation Free variables and bound variables Function Derivative First-order logic Mathematics Software engineering Computing
538	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
539	1 Multiple Source Internet Tomography Mark J. Coates, Michael G. Rabbat, and Robert D. Nowak Abstract— Information about the topology and link-level characteristics of a network is critical for many applications incl Add to Reading List Source URL: www.tsp.ece.mcgill.ca Language: English - Date: 2006-07-13 16:30:01 Routing Network topology Topology Network packet Communications protocol Entailment Traffic flow Logic Network architecture Information
540	On Families of Quadratic Surfaces Having Fixed Intersections with Two Hyperplanes Pietro Belotti Department of Mathematical Sciences, Clemson University, USA Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2012-12-26 16:03:05 Analytic geometry Deduction Projective geometry Quadrics Valuation Entailment Geometry Abstract algebra Logic

UPDATE